import os

lst = []
for root,dirs,files in os.walk('./'):
    if len(files) != 0:
        for i in range(1, 25):
            lst.append(files[i])

for filename in lst:
    with open('./' + filename, 'r') as f:
        records = f.readlines()
    with open('./repair/' + filename, 'w') as f:
        for i in range(min(10000, len(records))):
            f.write(records[i])